A Mutation Analysis Framework for Simulink Models
نویسنده
چکیده
منابع مشابه
A search-based framework for automatic testing of MATLAB/Simulink models
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at higher levels of abstraction. In this paper the application of such approaches at the higher levels of abstraction offered by MATLAB/ Simulink models is investigated and a wide-ranging framework for test-data generation and management is presented. Model-level a...
متن کاملA MATLAB / SIMULINK BASED FAULT ANALYSIS OF SMALL HYDROPOWER PLANT
ABSTRACTRenewable Energy Sources (RES) are well – defined as energy sources, that are in abundance within the natural surroundings and are much inexhaustible. In addition, hydroelectricity (HE) is a vital part of world renewable energy supply and hydropower remains a bulk source of electricity generation because of its environmental friendliness in nature. Modeling is the analysis of the ...
متن کاملMutation-based Test Data Generation for Simulink Models using Genetic Algorithm and Simulated Annealing
Software testing is costly, labor intensive, and time consuming. Modern testing requires faults to be discovered at the earliest possible stages to decrease the cost of fixing errors in software development process. Thus, high level models such as Simulink models have become the focus of much verification effort and research. Mutation testing is a powerful and effective testing technique in ter...
متن کاملTightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction
We present a case study applying the k-induction method to equivalence checking of Simulink designs. In particular, we are interested in the problem of equivalence detection in mutation-based testing: given a design S, determining whether a “mutant” design S′ derived from S by syntactic fault injection is behaviourally equivalent to S. In this situation, efficient equivalence checking technique...
متن کاملStepwise Development of Simulink Models Using the Refinement Calculus Framework
Simulink is a popular tool for model-based development of control systems. However, due to the complexity caused by the increasing demand for sophisticated controllers, validation of Simulink models is becoming a more difficult task. To ensure correctness and reliability of large models, it is important to be able to reason about model parts and their interactions. This paper provides a definit...
متن کامل